Electronic design automation - PDFSEARCH.IO - Document Search Engine

Electronic design automation
Results: 1598

#	Item
901	Compromised By Design? Securing the Defense Electronics Supply Chain John Villasenor November 2013 Add to Reading List Source URL: www.brookings.edu Language: English - Date: 2013-11-04 11:34:31 Electronic design Integrated circuits Semiconductor device fabrication Semiconductor companies Electronic design automation Application-specific integrated circuit MOS Technology SID Texas Instruments Fabless semiconductor company Electronic engineering Electronics Technology
902	White Paper Accelerating 20nm Double Patterning Verification with IC Validator Author Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2014-11-07 14:30:50 Design closure Signoff Multiple patterning Physical design Dermatopontin Standard cell DPT vaccine Validator Application-specific integrated circuit Electronic engineering Electronic design automation Design rule checking
903	A Concurrent Portfolio Approach to SMT Solving Christoph M. Wintersteiger1 , Youssef Hamadi2 , and Leonardo de Moura3 1 2 Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2009-05-09 06:17:01 Applied mathematics Logic in computer science Electronic design automation Formal methods NP-complete problems Satisfiability Modulo Theories Speedup Z3 OpenMP Theoretical computer science Computing Parallel computing
904	WILLIAM J. BEATY Home: [removed] Corson Ave S email: [removed] Seattle, WA 98108 http://amasci.com/me.html RESEARCH ENGINEER Add to Reading List Source URL: amasci.com Language: English - Date: 2008-09-18 01:22:44 Embedded system Wireless sensor network Microcontroller Semiconductor fabrication plant Electronic design automation Electronic engineering Electronics Technology
905	White Paper When Following the Rules Is Not Quite Sufficient: The Need for New Post Route Analysis Techniques Kuo H. Wu, PhD Marilyn Adan Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2014-11-07 14:30:54 Electronic design automation Integrated circuits Electronic design Design rule checking Very-large-scale integration Synopsys Integrated circuit layout Design for manufacturability Physical verification Electronic engineering Design Electronics
906	DFM DRIVES NEW BUSINESS MODELS FOR DESIGN AUTOMATION DFM — WHAT CAN DESIGNERS DO? CREATING A DFM-AWARE DESIGN ENVIRONMENT FOR 65-NM AND BELOW RDRs AND THEIR IMPACT ON DFM NEEDS DFM — MITIGATING VARIABILITY Add to Reading List Source URL: www.synopsys.com Language: English - Date: 2014-11-07 12:44:02 Design Semiconductor device fabrication Electronic design Integrated circuits Design for manufacturability Immersion lithography Integrated circuit design Yield Resolution enhancement technologies Electronic engineering Electronic design automation Electronics
907	Number 9 May 2011 Ensuring Hardware Cybersecurity John D. Villasenor Add to Reading List Source URL: www.brookings.edu Language: English - Date: 2012-03-23 10:55:45 Electromagnetism Integrated circuit Electronic design automation Semiconductor device fabrication MOS Technology SID Nintendo Entertainment System Hardware Trojan Design for testing Electronic engineering Electronic design Electronics
908	5 December 2008 E-Governance Mission Mode Project: Crime & Criminals Tracking Network and Systems CRIME & CRIMINAL TRACKING NETWORK AND SYSTEMS (CCTNS) Add to Reading List Source URL: ncrb.nic.in Language: English - Date: 2009-07-21 03:30:34 Technology Electronic design automation Network On Chip E-Government
909	Seven Challenges in Parallel SAT Solving∗ Youssef Hamadi and Christoph M. Wintersteiger Microsoft Research 7 JJ Thomson Avenue Cambridge CB3 0FB United Kingdom Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2012-09-29 08:42:50 Logic in computer science Electronic design automation Formal methods NP-complete problems Operations research Boolean satisfiability problem Solver Satz GRASP Theoretical computer science Applied mathematics Mathematics
910	Efficiently Solving Quantified Bit-Vector Formulas Christoph M. Wintersteiger Youssef Hamadi Leonardo de Moura Add to Reading List Source URL: www.winterstiger.at Language: English - Date: 2010-07-29 11:34:28 Model theory Predicate logic Electronic design automation Logic in computer science NP-complete problems Satisfiability Modulo Theories Boolean satisfiability problem True quantified Boolean formula Skolem normal form Logic Theoretical computer science Mathematical logic

UPDATE